list-diff(eq;as;bs) == filter(a.deq-member(eq;a;bs);as) 

latex

Definitions	filter(P;l), x.A(x), b, deq-member(eq;x;L)
FDL editor aliases	list-diff